(0 20 3)(1 7 5)(2 18 16)(4 17 9)(6 11 8)(10 14 12)(13 19 15)
ALLOWS (11/8)-SEQUENCE
1: (9 14 17)
(0 20 3)(1 7 5)(2 18 16)(4 17 12 10 14)(6 11 8)(9)(13 19 15)
2: (13 19 15)
(0 20 3)(1 7 5)(2 18 16)(4 17 12 10 14)(6 11 8)(9)(13)(15)(19)
3: (2 18 16)
(0 20 3)(1 7 5)(2)(4 17 12 10 14)(6 11 8)(9)(13)(15)(16)(18)(19)
4: (4 17 12)
(0 20 3)(1 7 5)(2)(4 10 14)(6 11 8)(9)(12)(13)(15)(16)(17)(18)(19)